What is partial ordering in discrete mathematics